Combinatorial Properties of "Cleanness"

control of the optical properties of nanoparticles by laser fields

در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...

Cleanness Checking of Strings in C Programs

Very cleanness of generalized matrices

An element $a$ in a ring $R$ is very clean in case there exists‎ ‎an idempotent $ein R$ such that $ae = ea$ and either $a‎- ‎e$ or $a‎ + ‎e$ is invertible‎. ‎An element $a$ in a ring $R$ is very $J$-clean‎ ‎provided that there exists an idempotent $ein R$ such that $ae =‎ ‎ea$ and either $a-ein J(R)$ or $a‎ + ‎ein J(R)$‎. ‎Let $R$ be a‎ ‎local ring‎, ‎and let $sin C(R)$‎. ‎We prove that $Ain K_...

some properties of fuzzy hilbert spaces and norm of operators

in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...

Checking Cleanness in Linked Lists

A new algorithm is presented that automatically uncovers memory errors such as NULL pointers dereference and memory leaks in C programs. The algorithm is conservative, i.e., it can never miss an error but may report \false alarms". When applied to several intricate C programs manipulating singly linked lists, the new algorithm yields more accurate results, does not report any false alarm and us...